<,> == <, x,y. x =b y, x,y. tt, x,y. x y, ff, x.x> 

latex

Up	groups 1
Wellformedness Lemmas	bor mon wf
Definitions	, p =b q, tt, p q, ff